- примитивная рекурсивность
- primitive recursiveness мат.
Русско-английский научно-технический словарь Масловского. 2015.
Русско-английский научно-технический словарь Масловского. 2015.
ПРЯМОЙ ПЕРЕСЧЕТ — пересчет элементов нек рого множества натуральных чисел в порядке их возрастания. Точнее, .П. п. множества Анатуральных чисел есть строго возрастающая функция натурального аргумента, область значений к рой совпадает с А. В теории алгоритмов… … Математическая энциклопедия
РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… … Философская энциклопедия